package com.project.srtp.secure.model;

import lombok.Data;

import java.util.List;
import java.util.Map;
import java.util.Set;

/**
* @author 曹行阳
* @date 2025/6/11 15:08
* @version 0.1
*/
@Data
public class ComplexDfa {
    private String initialState;
    private Set<String> states;
    private Set<String> violationStates;
    private List<DfaTransition> transitions;
    private Map<String, String> metadata;
}
